Словарь по логике - модальность

оценка высказывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий "необходимо", "возможно", "доказуемо", "опровержимо", "обязательно", "разрешимо" и т. п.

О предмете S можно просто сказать, что он имеет свойство Р. Но можно, сверх того, уточнить, является ли эта связь S и Р необходимой или же она случайна, всегда ли S будет Р или нет, хорошо ли, что S есть Р, или плохо, доказано ли, что S есть Р, или это только предполагается и т. д. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма: М (S есть Р) или М (S не есть Р); вместо М в эту форму могут подставляться различные понятия, определяющие тип связи субъекта и предиката. Напр., из немодального высказывания "Цезий металл" можно образовать модальные высказывания "Возможно, что цезий металл", "Хорошо, что цезий металл", "Немыслимо, чтобы цезий был металлом", "Доказано, что цезий металл" и т. д. Модальной оценке могут быть подвергнуты не только связи предметов и признаков, но и связи других типов. Напр., из сложного высказывания "Если металлический стержень нагреть, он удлинится" можно получить модальные высказывания "Необходимо, что если металлический стержень нагреть, он удлинится", "Всегда будет так, что металлический стержень удлиняется, если его нагреть" и т. п.

Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одной или разных точек зрения ("Хорошо, что доказано, что цезий металл").

Логические связи модальных высказываний являются объектом исследования модальной логики. Из разнообразных возможных типов модальных оценок она выбирает немногие, наиболее интересные.

В современной модальной логике исследуются следующие группы модальных понятий:

логические М. (абсолютные: "логически необходимо", "логически случайно", "логически возможно", "логически невозможно"; сравнительные: "логически влечет", "есть логическое следствие" );

физические (онтологические, каузальные) М. (абсолютные: "физически необходимо", "физически случайно", "физически невозможно", "физически возможно"; сравнительные: "есть причина", "есть следствие", "не является ни причиной, ни следствием");

теоретико-познавательные (эпистемические) М. (относящиеся к знанию: "доказуемо", "опровержимо", "неразрешимо"; относящиеся к убеждению: "убежден", "сомневается", "отвергает", "допускает"; связанные с истинностной характеристикой, абсолютные: "истинно", "ложно", "неопределенно"; сравнительные: "вероятнее", "менее вероятно", "равновероятно");

деонтические (нормативные) М. ("обязательно", "нормативно безразлично", "запрещено", "разрешено");

аксиологические (оценочные) М. (абсолютные: "хорошо", "аксиологически безразлично", "плохо"; сравнительные: "лучше", "равноценно", "хуже");

временные М. (абсолютные: "было", "есть", "будет"; сравнительные: "раньше", "одновременно", "позже").

Логические М. изучались еще Аристотелем (384-322 до н. э.) и средневековыми логиками. Детальное исследование других групп М. началось в 50-е годы нашего века, хотя первые упоминания о них относятся еще к поздней античности и средним векам (см.: Аксиологические М., Деонтические М., Логика времени, Логика изменения, Эпистемическая логика, Предпочтений логика, Причинности логика).